иерархия множеств

См. также в других словарях:

• ИЕРАРХИЯ — классификация тех или иных математич. объектов в соответствии с их сложностью. Первые И. были построены в дескриптивной теории множеств (см. [3]). В этих И. переход к более сложному классу множеств осуществляется путем применения теоретико… …   Математическая энциклопедия

• Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

• Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… …   Википедия

• Математическая структура — У этого термина существуют и другие значения, см. Структура (значения). Математическая структура название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой… …   Википедия

• Логицизм —         направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках… …   Большая советская энциклопедия

• РАССЕЛ — (Russell) Бертран (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты др. стран …   Философская энциклопедия

• ПОЛОЖИТЕЛЬНАЯ ЛОГИКА —         логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… …   Философская энциклопедия

• ФРЕГЕ — (Frege) Готлоб (1848 1925) нем. логик, математик и философ. Один из основоположников современной символической логики. Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879)… …   Философская энциклопедия

• МОСТОВСКИЙ — (Mostowski), Анджей (р. 1 нояб. 1913) – польский логик и математик, чл. корр. Польской АН (с 1956), проф. ун та в Варшаве. М. принадлежат труды по математич. логике, логич. основаниям теории множеств, по топологии и алгебре. М. написал также ряд… …   Философская энциклопедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• Лузитания (московская математическая школа) — У этого термина существуют и другие значения, см. Лузитания (значения). Лузитания московская математическая школа, созданная известным русским математиком Н. Н. Лузиным. Сформировалась в конце 1910 х начале 1920 х годов, распалась в… …   Википедия